\documentclass{article}
\usepackage{mathtools} 
\usepackage{fontspec}
\usepackage[UTF8]{ctex}
\usepackage{amsthm}
\usepackage{mdframed}
\usepackage{xcolor}
\usepackage{amssymb}
\usepackage{amsmath}


% 定义新的带灰色背景的说明环境 zremark
\newmdtheoremenv[
  backgroundcolor=gray!10,
  % 边框与背景一致，边框线会消失
  linecolor=gray!10
]{zremark}{说明}


\begin{document}
\title{8.4 为什么}
\author{张志聪}
\maketitle

\section*{例 8.4.2}

\begin{itemize}
  \item 由定义8.4.1可知，任意元素$f \in \prod \limits_{\alpha \in I} X$表示的是一个函数，
        且函数$f: I \rightarrow X$，所以$f \in X^I$；

        反之亦然。

  \item 这是显然的。
\end{itemize}

\end{document}